/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package asa;

/**
 *
 * @author Mickael
 */
public class ASAExprNot extends ASAExpr {

    private ASAExpr e, e1;

    public ASAExprNot(ASAExpr e) {
        this.e = e;
    }
    @Override
    public ASAExpr getExpr1() {
        return e;
    }
    @Override
    public String getLabelExplorateur() {
        return "NOT";
    }

    @Override
    public int evalue() {
        if (e.evalue()!=0) {
            return 0;
        } else {
            return 1;
        }
    }
}
